Formally-defined security
[计] 形式定义的安全性模型
🧩 词语组成解析
formally
[['fɔ:məli]]
adv. 正式地, 形式上
a. 清晰的, 轮廓分明的；有定义的, 确定的
🗣️ 情景例句
whom I think you've met once or twice before.
我想你以前见过他一两次面。
Forest fire caused by lava
熔岩引起的森林大火
Our own warm atmosphere and the heat generated by the telescope would make it impossible to detect objects as small as planets.
地球周围温暖的大气层和望远镜散出的热量使得我们根本不可能找到比行星更小的物体。